On properties of modeling control software for embedded control applications with CSP/CT framework)
نویسندگان
چکیده
∗ ) This research is supported by PROGRESS, the embedded system research program of the Dutch organization for Scientific Research, NWO, the Dutch Ministry of Economic Affairs an the Technology Foundation STW. Abstract – This PROGRESS project (TES.5224) traces a design framework for implementing embedded real-time software for control applications by exploiting its natural concurrency. The paper illustrates the stage of yielded automation in the process of structuring complex control software architectures, modeling controlled mechatronic systems and designing corresponding control laws, simulating them, generating control code out of simulated control strategy and implementing the software system on a (embedded) computer. The gap between the development of control strategies and the procedures of implementing them on chosen hardware targets is going to be overcome.
منابع مشابه
Schedulability Analysis of Timed CSP Models Using the PAT Model Checker
Timed CSP can be used to model and analyse real-time and concurrent behaviour of embedded control systems. Practical CSP implementations combine the CSP model of a real-time control system with prioritized scheduling to achieve efficient and orderly use of limited resources. Schedulability analysis of a timed CSP model of a system with respect to a scheduling scheme and a particular execution p...
متن کاملA multimodal robotic control law modelled and implemented with the CSP/CT framework
We use several formal methodologies for developing control applications at our Control Engineering research group. An important methodology we use for designing and implementing control software architecture is based on CSP concepts. These concepts allow us to glue multidisciplinary activities together and allow for formal stepwise refinement from design down to its implementation. This paper i...
متن کاملA Communicating Threads –CT– case study: JIWY
Abstract. This JIWY demonstrator is constructed in the context of the development of a design framework and software tools to efficiently support mechatronic engineers in developing sophisticated control computer code out of a set control laws. We use the CSP-based Communicating Threads –CT– library as the software communication layer, our hard real-time ‘virtual machine’. JIWY (just a soundful...
متن کاملgCSP occam Code Generation for RMoX
gCSP is a graphical tool for creating and editing CSP diagrams. gCSP is used in our labs to generate the embedded software framework for our control systems. As a further extension to our gCSP tool, an occam code generator has been constructed. Generating occam from CSP diagrams gives opportunities to use the Raw-Metal occam eXperiment (RMoX) as a minimal operating system on the embedded contro...
متن کاملO Djj Dd Jov Jov
1.1 MOTIVATION: DEPENDABILITY VERSUS IMMATURITY ..................................4 1.2 OBJECTIVE: DEPENDABLE EMBEDDED SYSTEMS...........................................6 1.3 EMBEDDED CONTROL SYSTEMS ................................................................7 1.4 EMBEDDED SOFTWARE .........................................................................12 1.5 DEPENDABILITY...................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003